Representing e-commerce rules via situated courteous logic programs in RuleML

Representing E - Business Rules for the Semanti Web : Situated Courteous Logi Programs in RuleML

SweetJess: Inferencing in Situated Courteous RuleML via Translation to and from Jess Rules

We describe the innovative design of our prototyped SweetJess tool for RuleML inferencing. Our first contribution is to give a new, implemented translation from a broad but restricted case of SCLP RuleML into Jess rules, and an inverse translation from a broad but further restricted case of Jess rules into SCLP RuleML. SCLP stands for the Situated Courteous Logic Programs knowledge representati...

SweetDeal: Representing Agent Contracts with Exceptions Using Semantic Web Rules, Ontologies, and Process Descriptions

We address the problem in automated knowledge-based e-contracts of how to represent exception handling provisions – which in many (if not most) natural language contracts constitute the majority of the contract's volume. We make three main novel contributions. First, we newly extend the previous SweetDeal e-contracting approach to incorporate ontology knowledge, specifically ontologies about bu...

SweetJess: Translating DAMLRuleML to JESS

We describe the design of SweetJess, our new system for Semantic Web rules in Jess. The SweetJess approach makes four main new contributions. First, we show how to translate from rules in the Situated Courteous Logic Programs (SCLP) knowledge representation, syntactically encoded in RuleML, into Jess rules, and likewise to translate from a broad but restricted case of Jess rules into SCLP RuleM...

SweetDeal : Represen with Exceptions using and Process

SweetDeal is a rule-based approach to representation of business contracts that enables software agents to create, evaluate, negotiate, and execute contracts with substantial automation and modularity. It builds upon the situated courteous logic programs knowledge representation in RuleML, the emerging standard for Semantic Web XML rules. Here, we newly extend the SweetDeal approach by also inc...